总的分类
根据变量的连续与否，F.T.总共有三种。
- 完全离散
- 部分离散
- 完全连续
部分离散
动量本征函数
\begin{align*}
\frac{\hbar}{i} \frac{\mathrm{d}}{\mathrm{d}x} \psi = p \psi\quad \Longrightarrow\quad \psi = e^{i\frac{p}{\hbar}x}
\end{align*}
归一化
\begin{align*}
\langle e^{ikx} \mid e^{ikx'} \rangle = \int_{-\infty}^{\infty} e^{-ikx} e^{ikx'} \mathrm{d}k = \int_{-\infty}^{\infty} e^{ik(x'-x)} \mathrm{d}k = 2\pi \delta(x-x')
\end{align*}
周期为 \(L\)
\(f(x)\) 是周期函数
\begin{align*} f(x+L) = f(x) \end{align*}将 \(x\) 从 \(2\pi\) 拉伸到 \(L\)
\begin{align*} x \rightarrow x \cdot \frac{2\pi}{L} \end{align*}相应归一化到 \(L\)
\begin{align*} \langle e^{ikx \cdot \frac{2\pi}{L}} \mid e^{ikx' \cdot \frac{2\pi}{L}} \rangle = \int_{-\infty}^{\infty} e^{-ikx \cdot \frac{2\pi}{L}} e^{ikx' \cdot \frac{2\pi}{L}} \mathrm{d}k = L \delta(x-x') \end{align*}Fourier展开系数由下式求得
\begin{align*} f(x)= \frac{1}{L} \sum_k \mid e^{ikx \cdot \frac{2\pi}{L}} \rangle \langle e^{ikx \cdot \frac{2\pi}{L}} \mid f(x) \rangle = \sum_k e^{ikx \cdot \frac{2\pi}{L}} C_k \end{align*} \begin{align*} C_k = \frac{1}{L} \int_{-\infty}^{\infty} f(x) e^{-ikx \cdot \frac{2\pi}{L}} \mathrm{d}x \end{align*}完全连续
当周期 \(L \rightarrow \infty\) 时，\(\frac{2\pi}{L} \rightarrow 0\) ，指数上的 \(k\frac{2\pi}{L}\) 由原来离散的取值 \(\frac{2\pi}{L}, 2\frac{2\pi}{L}, 3\frac{2\pi}{L}, \cdots\) 变成连续的变量，记为新的 \(k\) ，且 \(\mathrm{d}k = \frac{2\pi}{L}\) 。
则Fourier展开变为
\begin{align*} f(x) = \lim_{L\rightarrow \infty} \frac{1}{2 \pi}\frac{2\pi}{L} \sum_k \mid e^{ikx\cdot\frac{2\pi}{L}}\rangle\langle e^{ikx\cdot\frac{2\pi}{L}}\mid f(x) \rangle = \int_{-\infty}^{\infty} \mathrm{d}k \frac{1}{2\pi}\mid e^{ikx\cdot\frac{2\pi}{L}}\rangle\langle e^{ikx\cdot\frac{2\pi}{L}}\mid f(x) \rangle \\\\=\frac{1}{2\pi} \int _{-\infty}^{\infty}\mathrm{d}k\int _{-\infty}^{\infty}\mathrm{d}x' e^{ikx}\cdot e^{-ikx'}f(x') \end{align*}也就是
\begin{align*} f(x) = \frac{1}{2\pi} \int_{-\infty}^{\infty} \mathrm{d}k \int_{-\infty}^{\infty} \mathrm{d}x' e^{ik(x-x')} f(x') \end{align*}完全离散
类似群论中的不可约表示。
\begin{align*} \sum_l e^{-i\frac{2\pi}{N}k'l} e^{i\frac{2\pi}{N}kl}=N\delta_{kk'} \end{align*}